Website migrated to GitHub Pages

The VPS that hosted the web site is being turned down, so we migrated the web site to GitHub pages. The old contents have been backed up and might be added to this new site over time.

P.S. on 15 March, we deleted the project on Google Code, since the service is shutting down. All the development will continue, as usual on GitHub, and release will be uploaded on GitHub and SourceForge.