Try out travis linux mono 3.0 and fsharp