Fix the namespace of the karma proto domain

Fix the karma subrule by adding the missing spirit namespace to the proto domain.