Better Library Handling

* Handling of the Proof_Extras library (notes) is much improved.
* Bumped version number up to v2.42.