OMDoc client

Ideas for based on::OMDoc/MBase clients


 * Light weight: Browser plus JavaScript (casual user) for OMDoc editing and interaction with KB; SWiM as front end
 * Use eclipse technology to build up a rich client
 * ProofGeneral ported Eclipse (Christoph Lüth)
 * We should get used to this framework in order to setup a rich client consisting of SWiM/lectora/CDET/locutor