theories/{hit => HIT,categories => Categories}

[JasonGross]

This closes #612

The library compiles like this. Nearly all changes were made by the sequence:

git mv theories/{hit,HIT}
git mv theories/{categories,Categories}
git mv theories/{categories,Categories}.v
git grep --name-only '/hit' | xargs sed -i 's|/hit|/HIT|g'
git grep --name-only 'hit/' | xargs sed -i 's|hit/|HIT/|g'
git grep --name-only 'hit\.' | xargs sed -i 's|hit\.|HIT.|g'
git grep --name-only '/categories\|categories/' | xargs sed -i s'|/categories|/Categories|g'
git grep --name-only '/categories\|categories/' | xargs sed -i s'|categories/|Categories/|g'
git grep --name-only '\.categories\.' | xargs sed s'|\.categories\.|.Categories.|g' -i

[spitters]

Indeed, looks like search and replace. LGTM