Improved documentation building.
Removed nonrealtimetools and threadtools.