Sanitize the tab HTML IDs (using only alphanumeric characters)

All non-alphanumeric characters are removed and "-tab" is added to the end to avoid any possible duplications of ids in the html page.

Closes issue #181 (closed)