Aura has replaced GTK+ in Linux.
Remove devtools view on Linux.

GTK+ has been replaced, we need to rewrite the whole thing.