Move protocol specs to a separate repo