Small gulp plugin to change a file's extension