dolfin-get-demos(1) install DOLFIN demos in user's home direcotry