update hardenedBSD_update_and_push.csh, discussed with Shawn

Signed-off-by: Oliver Pinter <oliver.pntr@gmail.com>