readme file
Merge branch 'release/1.5.0'
Merge branch 'release/1.5.1'
Removal of userView from the rules (no longer used)
Merge commit 'fd48ed5d04c1e2e7caac0e1e5e1b12bfbbb2a3cb'
Merge remote-tracking branch 'origin/develop' into develop
Add params for workerd startup that allow to override program settings:
  -K: specify a killfile
  -s: specify the dispatcher host
  -n: specify the dispatcher port
Modify deployment script
Adding a startup script for the dispatcher. To be copied in /etc/init.d
Renaming init script with UNIX-like convention
Add profiling log in main loop
This information will not be displayed unless DEBUG mode is set
Handle exception when reloading DB.
Reloading fails when some tables are empty (render_node), use exceptions to handle these situations
Merge branch 'hotfix/restore_db_correct_max_ids' into develop
New update_dispatcher script
Better log info in mainloop for debug mode
Merge branch 'help' into feature/puli_batch_tools

Conflicts:
	Puli/scripts/workerd.py
	Puli/src/octopus/dispatcher/dispatcher.py
	Puli/src/octopus/dispatcher/settings.py