Adding some more git aliases.
Added an entry for screen sharing
Adding colouring to proof