Small bugfixes in HTMLToTex.java
Fix issues related to Generics (<> parsed as html tags, class parameters not shown...)