herd/litmus: The common C parser now parses the type of arguments as given.
Those types must be pointer types and litmus strips the star
(CType.Pointer constructor) away after parsing.