TopGit - A different patch queue manager -- with POSIX fixes