change github username to codebender
Merge pull request #6 from codebender/change_github_username

change github username to codebender