Fixed a bug that sometimes made it tricky to use the Emacs mode on Windows [Issue #757].
Made Agda build with newer versions of some libraries.
Fixed a bug that caused ambiguous parse error messages [Issue #147].
