Add the option to test without testing cases in examples/

[wilfonba]

This PR adds the option --no-examples to ./mfc.sh test so that pre_process doesn't have to be compiled a billion times when testing and waste so much of my precious valuable time.

[sbryngelson]

Good call. Can you add this to the docs? Do we even document all/most such options for build/test/run?

[wilfonba]

Most of the options for testing haven't been added to the documentation yet. I'll add them.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 45.87%. Comparing base (ca36ffb) to head (93c6297).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #753   +/-   ##
=======================================
  Coverage   45.87%   45.87%           
=======================================
  Files          61       61           
  Lines       16915    16915           
  Branches     1962     1962           
=======================================
  Hits         7759     7759           
  Misses       7942     7942           
  Partials     1214     1214           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.