STY: Some PEP8
All level K solvers wrapped with basic documentation.
Managed figures in MCRL and Q Learning
Small doc change
Changed import structure
Edited documentation within modules and setup for autodoc