better handling of limit case in CoqToCursor ( fix #14 )
Bugfix in presence of MBE ( fix #6 )
Merge branch 'master' into pathogen-bundle