Uppercase German '\u00df' 'ß' as '\u1e9e' 'ẞ' (note that's not 2 Ss!)

Note that this is considered rather controversial - I may need to make some flag to select the behaviour.
This transformation was only approved a year ago in Germany, and is not reflected in the standard Unicode tables.
This was done simply to retain compatibility with the uppercase function in Julia.