Okay so I'm going to ditch the installer method and just give you the instructions to install it yourself.
Create a new folder in the /usr/share/fonts/ directory. This can be entitled anything you like. You can do this via a bash command.
sudo mkdir /usr/share/fonts/batman
Once that's done. Extract the contents of the batman archive and copy them to the new batman font folder!