Added Travis status and tweak to setup instructions