The new Flipper One is a pocket-sized Linux computer theverge.com