remove crawl menus
update dgl-manage.conf to point to /home/dorf/DGL
repace dgamelaunch-dev with dgamelaunch-dorf.conf
add dgamelaunch-dorf and remove crawl games
modify publish targets
remove outdated df_dl_install script
modify an error message to use dorf
change 2 dgamelaunch-dev to dgamelaunch-dorf
more dgamelaunch-dev to dgamelaunch-dorf
removed some crawl initialization crap
replaced banner on menus
remove experimental menus
update shed_uid and shed_gid
modify how inprogress directories are counted
remove attempt to run dfhack
turned off max number of DF games check
fully remove too-many-connections checks
set correct UID in dgl-manage.conf
delete some whitespace
update install script to set df_linux perms