Move GPL'd source into src/gpl/