Use non-default port for redis; .gitignore mod for GitEye