Merge branch 'master' into Jason-Branch
Merge branch 'master' into Jason-Branch
Leaderboard works!

Basically. Needs some fixes though.
Merge pull request #75 from mreist/master

Getting master
Merge pull request #77 from mreist/Jay

Getting up to date
Merge pull request #78 from mreist/master

Getting Master
Merge pull request #79 from mreist/Jason-Branch

Jason branch
Merge pull request #81 from mreist/master

Getting Master
Merge pull request #84 from mreist/MaxxTesting

Fixed results
Merge pull request #85 from mreist/Jay

Jay
Got rid of Options button
Added libraries; fixed dev launcher; fixed activity.py
Merge pull request #87 from mreist/master

Getting new spyral