Doxygen

This also depends on flex. I happened to have flex installed:
```
$ which flex
/usr/bin/flex
```
But I think we might need to add it as an explicit dependency. Otherwise I tested it and it works for me.