Improved documentation and MANUAL.html format; removed MANUAL.pdf