Cofi: Free and open-source coffee brew timer