Travis: install mono-devel