[Build] Fixed build on Mono 3.0
[Frontend-GNOME] Expand menu bar (closes: #752)
Merge branch 'stable'

Conflicts:
	src/Engine/Engine.csproj
	src/Frontend-GNOME/MainWindow.cs