* export.sh: a simply shell script to export the theme in a common
  directory structure.