split the fmt rule into fmt-check and fmt

this MR splits the fmt rule of the Makefile into fmt-check and fmt, where fmt does the actual formatting and fmt-check only checks for bad format.