updated travis file to newer mono