bash_profile: Use `mg' as default editor, if it's available.