I've been playing a bit with ST's STM32x chips and started dream about having a qwerty built around it when I bumped into this thread. For PCB designs I really recommend Kicad. It's open source, commonly used and works on Linux and Windows. It's not that hard to design a PCB with Kicad and order it from Itead. And Itead's prices are very suitable even for individual hobbyists.
For a potential version 2 prototype, this might be a potential candidate! Runs up to 5.5 volts, 1mm thick and lots and lots of functionality! However, I have zero experience with programming these kind op microprocessors. Also, putting this thing on a pcb is a bit out of my reach. Please help if you have serious skills! http://cdn.meme.li/i/oz8yt.jpg
Is this not something useful to establish with Jolla before moving too far ahead?