Add some PicoSAT info to README, etc