coccigrep: install man
add pushy PKGBUILD