Add install.sh/build.sh option --disable-bootstrap

[rouson]

Avg response time	coverage on master

Summary of changes

The install.sh and build.sh now recognize the -z or equivalently --disable-bootstrap options and add or omit the corresponding arguments during make of GCC.

Rationale for changes

When building with a recent GCC, this can speed up the build process.

Additional info and certifications

This pull request (PR) is a:

• Bug fix
• Feature addition
• Other, Please describe:

I certify that

• I have reviewed the contributing guidelines and followed the
  policies on:
  - Pull request (PR) naming to indicate work in progress (WIP),
  and to attach the PR to the appropriate bug report, or feature
  request issue
  - White space (no trailing white space or white space errors may
  be introduced)
  - Commenting code where it is non-obvious and non-trivial
  - Running tests locally, to ensure all of them pass
  - Maintaining or increasing test coverage
  - Logically atomic, self consistent and coherent commits
  - Commit message content
  - Waiting 24 hours before self-approving the pull request to
  give another OpenCoarrays developer a chance to review my
  proposed code

[zbeekman]

LGTM

[zbeekman]

💯

[codecov]

Codecov Report

Merging #410 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #410   +/-   ##
=======================================
  Coverage   38.02%   38.02%           
=======================================
  Files           3        3           
  Lines        1996     1996           
  Branches      330      330           
=======================================
  Hits          759      759           
  Misses       1127     1127           
  Partials      110      110

[zbeekman]

still
💯

Apparently that's not a regex... I should add it.

👍

[rouson]

@zbeekman what does the red "100" mean?

[zbeekman]

what does the red "100" mean?

It's like when you were in grade school and your teacher used red pen for everything (the merits of this practice are beyond the scope of this comment) but an underlined 100 usually meant a perfect score on the test/assignment/homework/paper/etc

EDIT: i.e., "Great job!!!!!"

EDIT2: just to clarify, the pullaprove regex are defined here: https://pullapprove.com/sourceryinstitute/
and I have added :100: as an acceptable "approve" regex