utils: HTML ID washer
- Add utility for cleaning strings such that they can be used as HTML IDs,
without generating, for example, jQuery issues. Such strings must start with
a lowercase letter and use only alpha-numeric characters. Unit tests included.
Signed-off-by: Adrian-Tudor Panescu <adrian.tudor.panescu@cern.ch>