add equals for OrdinalSet
spawn dot executable only if it has been set
try to load files from input stream as fallback
minor fixes
add type parameter to PointerAnalysis