make double-tap zoom configurable, closes #698
build (js)