For dramninjas

This fixes a build error for the example app, and enables the build of a static library for dramsim, among other minor things.
Please consider merging--thanks!