Naming changed: Devopsfile instead of Opsfile

This is to emphasize that Devopsfiles are not only covering ops aspects