added "git tags" to the naming scheme on contributing page.
don't keep web server running, two requests are sufficient (by Gianfranco).
LogLine now has to_dict() to get access to the information as a dictionary.
Merge branch 'develop' of git://github.com/rueckstiess/mtools into develop