Patch for OpenPetra, to add a HTML/javascript client