PS2Controller state machine, verification tools, .gitignore for C and shell scripts