Rename all occurrences of SpecInfra to Specinfra per v2 changelog

Per Serverspec v2's changelog, SpecInfra has been renamed to Specinfra, and DetectOS should no longer be included, as auto-detect is the default: http://serverspec.org/changes-of-v2.html