Python utility to set system and hardware time on GNU/Linux.