Rename "Company" to "Institution" in the user profile #801

I have done that and changed the subsequent files! The commit messages can state exactly what I have changed and why!