a simple, pretty precise clock for linux