Problem: known_projects listed some github upstreams without the .git extension
Problem: known_projects listed some github upstreams without the .git extension

Solution: revise the list to always include the extension (less surprise in regenerated ci_build.sh scripts then); also fix imagix => imatix for GSL

paddor/zproject,zeromq/zproject,paddor/zproject,zeromq/zproject,taotetek/zproject,taotetek/zproject,taotetek/zproject,paddor/zproject,zeromq/zproject