Make this repository private

[kazimuth]

See https://education.github.com/ for discounts on private repositories.

(Or don't, if you want a public repository.)