Reduce pause in build.sh
Restore functionality of pushing tags

Fixes #137