Handle DataKinds tick

[phadej]

First two commits are related to now deprecated \tt and \bf which break hard with some config. edit: cherry-picked
https://www.tug.org/pipermail/tex-live/2016-July/038990.html

The second, tries to be more strict while parsing characters, so DataKinds could be parsed:

With

%format ':  = "\mathbin{{}^\backprime{}\!\!:}" 
%format '[  = "{}^\backprime["

I get something like

Not super pretty, but at least not b0rked.

[asr]

I got the following error when installing upstream

$ cabal install
...
! Class scrartcl Error: undefined old font command `\bf'.

See the scrartcl class documentation for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.333 
      
? 

It seems this PR fix this problem, so could you merge it, please.

[kosmikus]

@phadej I cherry-picked the bf/tt changes to make a new release that builds with current TeX installations. Thanks.

[phadej]

rebased on top of current master.

EDIT I'm 100% sure I saw some paper with a \backprime in DataKinds code. I wonder if they used lhs2TeX or not... (but I don't remember what paper it was)