A visual timer (a shrinking pie chart) based on the Raphael.js pie demo