Build with mono on linux and add travis-ci settings