Reworked documentation: added documentation for new features etc.