Added icons for push/pull/bash and converted png icons to svg

Added icons for push/pull/bash and converted png icons to svg. Added and
changed strings

Added icons in svg and added tooltips on them. Changed labels