Migrated to new SourceForge system (Allura)

Now the project is finally migrated to the new SourceForge system, codenamed Allura. The repository was migrated automatically to its new location, but the Wiki contents will need to be moved manually from MediaWiki to the built-in Wiki of the new interface. This is to happen soon.