Add a dev option to use dev tiles

Authored by nienhueser on Jan 15 2017, 6:03 PM.