Merged r63:HEAD.

Db.txt

Install.txt

mutalyzer.conf

src/BatchChecker.py

src/Modules/Config.py

src/Modules/Db.py

src/Modules/File.py

src/Modules/LRGparser.py

src/Modules/Mapper.py

src/Modules/Output.py

src/Modules/Scheduler.py

src/Modules/Web.py

src/Modules/tests/maptest.py

src/VarInfo.py

src/handler.py

src/index.py

src/webservice.py

templates/batch.html

templates/convert.html

templates/converter.html