Setup continuous integration (and some corrections)