Make axiom names optional

[viper-admin]

Created by @alexanderjsummers on 2017-03-19 17:54

I don't see a good reason for insisting on axioms having names in domains. It is quite annoying for coding up small examples.

[fabiopakk]

Feature added in branch fabiopakk_silver_193_anonymous_axioms, already merged into master.