Open Source SDK and tools for ParaCraft