Allow combining multiple make tasks in `make.bat`

[lochhh]

Using the current Makefile, one can execute multiple tasks, e.g. clean (remove all auto-generated files) and html (build the docs), using a single command

make clean html

However, to achieve the same thing using make.bat, one needs to use separate make commands, e.g.

make clean && make html