Add WMTS pixelRatio option and wmts-hidpi example

A pixelRatio defined as ol.source.Tile option specifies the pixel ratio
provided by the server. With this change, HiDPI tile sources are finally
possible. The WMTS implementation is a proof of concept.