environment: Make "tmp" folder configurable via config

This can be used to rename the cache folder to e.g. ".tmp".

Implements issue #134