rename from "Pinserver" to "Harvard PIN"
Merge pull request #6 from baisong/2-rename

rename from "Pinserver" to "Harvard PIN" #2