Version 1.4.0 – Start subdirectory for helper scripts

This release adds a new subdirectory called dev for tools that are useful in all repositories, and within that, adds a git-tools subdirectory. The latter contains a git hook useful for preventing some file name problems when working with multiple operating systems.