Better HTML links

Pregenerated version at http://dl.dropbox.com/u/145894/t/ndocs/lib.html. Example links:

* http://dl.dropboxusercontent.com/u/145894/t/ndocs/system.html#or_2
* http://dl.dropboxusercontent.com/u/145894/t/ndocs/algorithm.html#reverse
* http://dl.dropboxusercontent.com/u/145894/t/ndocs/sequtils.html#filterIt
* http://dl.dropboxusercontent.com/u/145894/t/ndocs/os.html#%2F%2E%2E%2F