mv version to polytope/version.py

Reopening #8 with target branch `dev` instead of `master`, see #8 for details.