Adding solution 13.
Collation project now create itself.
Fixing missing info in solution 12.
Fixing behaviour of extensible_uint in mathlib.
Adding *.pyc to .gitignore.