Revise 0.0.2

Little Updates

Update copyright date range in license. Update the testing dependency.

Issue by Issue

• Add discussion to README. #13.
• Release version 0.0.2. #12.
• Upgrade Proof to 0.0.41. #11.
• Update LICENSE for 2014. #10.