Add custom information to users

[titaniumbones]

It is often useful to store extra info about students. There may be a couple of options:

• user custom data
• custo mgradebook columns

In particular, I want to use this for the github id, currently something of a pain to manage locally.