Documentation website

Use sphinx to build automatically build documentation pages. Integrate existing doxygen user manual generation.