A vagrant & puppet configuration for DerpID-Manager