Want to get more from your Raspberry Pi? Here's loads of helpful commands to navigate the Pi's terminal and program its GPIO pins.