Very simple replacement for GNU time tool