OMDoc.org acquired, moving infrastructure

We will use the domain OMDoc.org for the OMDoc project. Expect to see the web pages at http://www.omdoc.org, the repository at https://svn.omdoc.org and the ticketing system at https://trac.omdoc.org.

We have moved