Add automatic downloading of GPL source

[huyhg]

I significantly rewrote download_source. It's much cleaner and re-usable now. Also Dockerfile is greatly simplified, basically just needs to copy and run the script twice.

Please take another look.