updated codemirror version
added yasgui theme css file, so we can easier update codemirror next time
added bash script to test timings of fetching predicates
removed unused html files causing parsing errors in eclipse
changed calling of codemirror, as codemirror has slightly different api in version 3.*