Tools/scripts: Add git-diff-ports.sh

This script returns the list of ports with uncommitted changes.
I was using it locally for a very long time and it proved to
be very useful.