Version 0.96b

Corrected script behavior when multiple files are edited.
Expressions containing  '..' are now correctly sent to coqtop.