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 * the OMDoc Subversion Repository to https://svn.omdoc.org/repos/omdoc, please check out the new repository. * We have moved the OMDoc web pages to http://www.omdoc.org and reorganized the web site to better reflect the division of the OMDoc format and the OMDoc community portal. Please report any problems and inconsistencies by submitting tickets for the www component.