Provide pre-compiled binaries

[mheistermann]

Now that we don't require Gurobi anymore, we can distribute binaries without any legal issues.

I think an AppImage would be best unless we can manage a completely static build.