better handling of limit case in CoqToCursor ( fix #14 )
Bugfix in presence of MBE ( fix #6 )