Bash commands

• dump2py : make a Python dump of a Lino database
• prep : load demo data into your database
• run : run a Python script under the Django environment of a site
• Miscellaneous bash commands