Install method for SymDenotations

Add a new method to install a SymDenotation after a specific
phase has run. The new denotation replaces the current denotation
of the symbol starting with the period after the given phase.
Merge pull request #116 from dotty-staging/add/Denotation-update

Install method for SymDenotations