Merged branch web_dev revision 34 to 48 and trunk.

src/Modules/Mapper.py

src/Mutalyzer.py

src/VarInfo.py

src/index.py

src/webservice.py

templates/batch_convert.html

templates/convert.html

templates/parse.html