MLPA: Modules and Libraries for Proof Assistants