Make map's deviceOptions map options

This removes the map's deviceOptions config option, and instead
introduces loadTilesWhileAnimating and loadTilesWhileInteracting map
options. By default, both are false now, to make zooming and panning
smoother on most devices.
Merge pull request #3073 from ahocevar/load-tile-options

Make map's deviceOptions map options