Bring Repository up-to-date with all recent changes. Also hosting on github now.