get double buffering up and runnning

This patch enables double buffering with the option "double-buffer". There are
some inconsitencies while drawing things, but generally double buffering works
as expected.
Merge pull request #1 from smay4finger/master

get double buffering up and runnning