Add Github omniauth provider support and fix for uniqueness of user names
Add better omniauth sign in links with images
add little provider logos to user link in the header
fix bug where activity of deleted user would cause an error
Add better information about omniauth provider users in various places