Update 2 files

• /.gitlab-ci.yml
• /book/intro.md

added 1 commit

• 861c4f7a - build level optimization + check large files

Compare with previous version

added 1 commit

• 5b2e7c34 - more specific paths

Compare with previous version

added 1 commit

• 4464525f - added gurobi

Compare with previous version

added 1 commit

• b2ab56f5 - Test if the website works correctly with these exclusions + check sizes

Compare with previous version

added 1 commit

• 59782752 - Test if the website works correctly with these exclusions + check sizes

Compare with previous version

added 1 commit

• 420affdf - small correction

Compare with previous version

added 1 commit

• 35aab0d1 - try again

Compare with previous version

added 1 commit

• 1ddc76ce - ugh

Compare with previous version

added 1 commit

• 1a552274 - fix gurob

Compare with previous version

added 1 commit

• f81a44a6 - remove old chapter, update links

Compare with previous version

added 1 commit

• b1217152 - size analysis

Compare with previous version

added 1 commit

• f27883cb - Removed some small mistakes

Compare with previous version

merged manually