Drop deploy.php out of the repository

This was an overkill. It is much easier to manually control versions on
the website than automatically.