Add khan-dotfiles repo to devtools project