enabled robustus doctests, fixed stupid bug in RequirementSpecifier.allows