Update scripts, tested script fails to push if dev doesn't exist.
treedc5996918fac56002f3f5704a4610bf49e50e70a
-rw-r--r-- 17762 .cproject
-rw-r--r-- 720 .gitignore
-rw-r--r-- 2235 .project
-rw-r--r-- 1538 Makefile
-rw-r--r-- 2047 README.md
-rw-r--r-- 959 TODO.txt
drwxr-xr-x - bin
drwxr-xr-x - docs
drwxr-xr-x - lib
drwxr-xr-x - src
drwxr-xr-x - tmp