ADST&makefile: display prompt

Don't call 'source' automatically anymore since it doesn't change the
current shell, only the build shell. Prompt instead for the user to do
so.