add picosat source files