Release 0.7.2 from http://gaminganywhere.org
Merge branch 'master' into devel

Conflicts:
	bin/ga-client.exe
	bin/ga-server-periodic.exe
	bin/libga.dll
	bin/mod/asource-system.dll
	bin/mod/ctrl-sdl.dll
	bin/mod/encoder-audio.dll
	bin/mod/encoder-video.dll
	bin/mod/filter-rgb2yuv.dll
	bin/mod/vsource-desktop-d3d.dll
	bin/mod/vsource-desktop-dfm.dll
	bin/mod/vsource-desktop.dll
- removed more binaries
- fixed compilation problem on AMD64 Debian Wheezy (7.1)