deploy.sh picolist picolist.log *.pico .gitdist picolist-* Makefile