Change ``--program-list`` to ``--programs-from-list`` in filter-by.py to be more consistent with ``--programs-from-result-yml``.
Change ``--program-list`` to ``--programs-from-list`` in filter-by.py
to be more consistent with ``--programs-from-result-yml``.

symbooglix/boogie-runner,symbooglix/boogie-runner