Raspberry Pi + Arduino based robot which can be controlled over the internet via an AWS hosted Tornado websocket server