Add a continuous integration tool. Fix #12