Get release number from the version.php

Fixes #3