Use git's builtin config for fancy prompts.

Using a custom file in the .git directory was a bit too hassle-some to
use.
Also add the execution time of last command to prompt.