Choose parallel jobs limit automatically

Currently it is hard-coded as 14 it seems:
https://github.com/goblint/GobExec/blob/30a3a3408970ad997acd582d9caf7b1247d8c63f/gobexec/main.py#L17
That's suitable for my laptop and server, but probably not everyone else.