Add template based type parameters to SPEC clause

[faustocarva]

To obtain Variability on the Base Specification Class we need to implement template type parameters in SPEC clause. Current grammar does not yet support this.

Example:

ABSTRACT SPEC AbstractFactory<T>