Standardise make files

[lochhh]

Description

What is this PR

• Bug fix
• Addition of a new feature
• Other

What does this PR do?
Standardises Makefile and make.bat

• make.bat behaviour now matches Makefile
  • accepts chained targets, e.g. .\make clean html instead of .\make clean && .\make html
  • clean target removes the same files as Makefile
• clean target now additionally removes sg_execution_times.rst

Checklist:

• The code has been tested locally
• Tests have been added to cover all new functionality
• The documentation has been updated to reflect any changes
• The code has been formatted with pre-commit

[niksirbi]

Thanks @lochhh! LGTM.

I've also set use-make: true in CI (see 0d0b7b3), because why not. This way the workflow is more closely aligned to that of movement.