Renamed SentryRobot into BorderSentryRobot as new sentry robot types might occur in the future.