Robinson, William, active 1661-1686, surveyor-general of Ireland