Added HTML documentation file.