Moving code from private repo to GitHub repo, adding GPL license