updated html-docs for 0,5.0
Unable to "darcs diff" here.
ERROR: repository upgrade required, try `darcs optimize upgrade`
See http://wiki.darcs.net/OF for more details.