New scripts to switch between source and build dirs
New tool: devo-make
doc++
Move default devo folder to ~/.devo

It does not make sense to keep it in ~/.config since some overlays
may redefine ~/.config location
Merge branch 'dev'