some timestamp util for shell, php and Alfred