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.