\thanks command doesn't use symbols instead of boxed numbers anymore
Fixes #49: define the formatting of the footnote mark at the right place where it doesn't conflict with hyper ref