sagedev development moved to trac

It might seem a bit extreme to just delete everything here but the duplication
of repositories got me confused; the history is still there if you need to look
at the things that used to be here.