Rigidity theory for biomolecules: concepts, software, and applications. (27th April 2017)