Added unused test case for abbreviaion expansion.
Trivial refactoring in preparation for next steps.
Git-ignoring Eclipse settings file for FindBugs.
Document choice: expand abbreviation in grounding
Added an initial (buggy/incomplete) proof example.

This is just a text file, with some supporting Metamath files.