Add TLA+ spec for core concurrency of spec#484

gterzian wants to merge 23 commits intow3c:mainw3c/IndexedDB:mainfrom

gterzian:maingterzian/IndexedDB:mainCopy head branch name to clipboard