Add dev section on proof caching database#28

FliegendeWurst wants to merge 2 commits into

KeYProject:masterKeYProject/key-docs:masterfrom

FliegendeWurst:proofCachingDatabaseFliegendeWurst/key-docs:proofCachingDatabaseCopy head branch name to clipboard