Driver, module, bug fixes

- Added PrintDocs module, which prints the RootDoc
- Fixed several Doc classes, esp. initialization