1) hard coded linearized references removed

1) hard coded linearized references removed

2) new concrete syntax for linearized references
   more compliant with URI generic syntax and ELPI

   '#' not allowed in path and name

   Decl                   cic:/path/name#dec
   Def                    cic:/path/name#def:i
   Fix of int * int       cic:/path/name#fix:i:j:h
   CoFix of int           cic:/path/name#cfx:i
   Ind of int             cic:/path/name#ind:b:i:l
   Con of int * int       cic:/path/name#con:i:j:l

   run matitaclean all after this update,
   as stored aliases depend on linearized references