version.php: bump for development versioning