build_stock_zip.sh: add hammerhead device
mrom_build_all.sh: fix recovery patch versions
mrom_sync.py: put manifest to main server, auto-add dash to suffix