shell scripts / commands for manipulating date strings