Add ol.source.TileImage pixelRatio option and wmts-hidpi example

A pixelRatio defined as `ol.source.TileImage` option specifies the pixel
ratio provided by the server. With this change, HiDPI tile sources are
finally possible. The WMTS example is a proof of concept.
Bad end-of-file.