allow using ports other than :80

Autoreload didn't work when serving from ports other than 80 - this fixes it
updating the version number
documenting the changes in v0.7.12
Merge branch 'release-0.7.12'