Add shell ID from git hash + dirty bit; report it in SMI#147

quetric wants to merge 2 commits into

devXilinx/SLASH:devfrom

shell_id_registerXilinx/SLASH:shell_id_registerCopy head branch name to clipboard