useful debugging
smarter script for adding 
 and 
 markers
better mira defaults, new release 2014-01-28
load multiple grammars
Merge remote-tracking branch 'upstream/master'