Adding a CI bot and fixing some include headers