improvements to git-prompt, add extropic theme