Bugfix: remove the last reference to MartyConfig, I hope.
Add a library for checking the source code.