Getting started with RavenDB on Raspberry PI