Touch up doxygen docs (and remove #include <propeller.h>)