Hello world in C# using Mono