clarify timeout units
clean up df_buffer_t interface and add a knob to not use glMapBuffer so that watchpoints can be set.