Rename Agent to User

[joepio]

First I felt like Agent was a bit more fitting, as it would also entail non-human actors. However, Agent feels unconventional and unfamiliarm compared to 'user', even though it is more technically correct. Changing this name has quite an impact on URLs, documentation, and various implementations. Best to do it soon.