Relicense articles as CC BY-SA 3.0.

The GFDL has well-known shortcomings, including incompatibility with the
GPL (material under the GFDL cannot be put into GPL code, or vice
versa).