Update Doxygen for 0.1.4 tag