split production of benchmarks and push of pages in gitlab CI

• run benchmarks on commits
• push pages only after merge requests (master branch)