Wrote DBStore's postPin()

Wrote an initial version of postPin(). Also switched DBQuery to print
error messages to System.err instead of System.out.