Hercules, California, finally gets a public library