Makefile: optionally switch to a specific git branch