Restoring GPL licence file that was mistakenly removed.