Move protocol_spec to the 'spec' folder