A Nicely-Built 40-Core Raspberry Pi Cluster