Github - added ability to see lines of code added and deleted

On adding your Github username in the settings page, you can now see your total commits, lines of code added and lines of code deleted in the profile page. Currently only works for Khan/KaTex repository. This will be made dynamic so that admin can add or delete tracked repositories. Pull request for that will be sent soon. Thank you!