Add Linux Makefile Refs #6653.
Alter git-checkbuild to delete local develop first and then recreate

it from origin/develop before merging. Refs #6653