Version 1.1 of Compila17 language spec

The version handed out in printed form today defined programs as "nameless".

Intended was that programs have a ``name''. The Language specification

has been updated correspondingly (version 1.1).

PS: version 2 will contain information about some semantical aspects (needed for instance for type checking, and in general for Oblig 2).