New features

Modifications and additions since v1.6:

• Improved the build system
• Better fixes for memory access errors

Modifications and additions since v1.5:

• Fixed a crash when running from emacs
• Fixed a crash when checking our own manual
• Added \verb* support

Modifications and additions since v1.4: