Add build env doc

This PR adds a target "doc" which may be used to build the doxygen documentation.