rename method remote? to mirror?
Merge pull request #979 from ontohub/963-rename_remote_to_mirror

rename method remote? to mirror?