protofile: move to a repo of its own

parent 88b18caa
Pipeline #4597 passed with stages
in 6 minutes and 10 seconds