Update library and tools HTML documentation