pkgs: isabelle: Make compatible with non-x86 platforms

This requires manually installing the right polyml and java versions.
This has been tested with a system running Arch Linux ARM (warning:
isabelle will be extremely slow).