Added shell script for starting GDB
Merge branch 'filesystem' of https://github.com/jnwatts/xinu-arm into filesystem