Setup caching#394

Merged

mfeurer merged 12 commits intodevelopfrom

Feb 16, 2018

Commits on Sep 10, 2017

can read description files
janvanrijn
committed

Commits on Feb 10, 2018

Commits on Feb 12, 2018

skipped additional doc test
janvanrijn
committed

Commits on Feb 16, 2018

incorporated changes requested by #mfeurer
janvanrijn
committed