Bug#967636: mono-tools: depends on deprecated GTK 2

[Bastian Germann]

It should be possible to patch out the gtk2 using packages mono-profiler and 
mono-tools-gui.