User page - user profile service integration

This set of changes essentially replaces workspace storage of user profiles with the new user profile service, and also begins the process of refining content on the user page and enhancing the profile editor. You may see a bunch of swathes of text that appear to be changed -- I did a source reformat. Code unrelated to the user overview widget and the directive which invokes it is largely devoid of consequential change.