Adding proof that the seven-move solution is unique.
Merge pull request #1 from ryanbw/master

Proof 7 is unique