I skipped the variable frame rate out of this write-up in an attempt to keep things simple by leaving the GIF composing to an external program (ImageMagick). In an earlier iteration I did in fact create a version of the GIF with frame duration proportional to the real time:
http://i.imgur.com/ncTIdHL.gif