More tidying for pylint, a lot of docstrings added.
Minor fixes to the PEPA source highlighter lexer, in particular such that '+' is recognised as an operator.
Added some more docstrings for pylint.