mcrun.py: use "ps" instead of "pgrep" for portability, moved jar filenames to a list