Update of the configure.py script

- Added support for automatic generation of man-compatible manual.