robot-detect: Detection script for the ROBOT vulnerability