Simplify use to generic ILPs

[sraaphorst]

Create an implementation where the user can simply feed in an ILP in some format, with some command-line parameters.

nibac already has the capability to automatically find the symmetry group of a general ILP (although this can be slow and specifying the symmetry group is always better if it is known, which we could allow for as well), and then can solve the ILP to find one solution, or all (perhaps no) solutions up to isomorphism.

This way, nibac could be built into a simple application, and would require no programming experience on the part of the user.