gdc on Ubuntu!

[Walter Bright]

Vincenzo Ampolo wrote me that you can now do:

	sudo apt-get install gdc

I tried it, and it works!