Added main.rkt and Travis CI file