Add a possibility to bulk-rename #concepts within clauses

E.g., to bulk-rename #concept-a to #concept-b everywhere #concept-a is used.

Note: this is merely a cosmetic change of the hashtag used in the ClauseBase grammar. The output in the final document will not change because of it.