Switch form the two batch files to a shell script.

The script now also buils gtkglext an gtksourceview.