Dev kits for Purism’s Librem 5 Linux smartphone are now shipping