integrate development scripts from sage-workflow
Don't import dev scripts if SAGE_ROOT is not defined
fix path for git repository
sagedev: overhaul command line parsing