Centralize version information
ISL -> isl
Reformat documentation.
Rename pypol into LinPy
Add GPL License
Documentation directory