* sa/dialyzer-fixes:

      Ensure that -on_load functions are not reported as unused
      Unknown types are being reported by dialyzer's GUIs
      Fix bug in remote type solving
      Review by Kostis Sagonas and fixes
      Simplify external vs bad calls check
      Remove callgraph from the state used during solving
      Refactorings in dialyzer_typesig
      Avoid unnecessary passing of huge terms in some closures
      Further simplifications
      Remove redundant code
      Simplify dialyzer_succ_typings code
      Cleanups in dialyzer_callgraph and dialyzer_dataflow
      Zero-arity unused functions Dialyzer patch
      Cleanup debug messages in dialyzer_dataflow
      Refactorings in dialyzer_analysis_callgraph
      Allow t_opaque_structure to handle multiple opaque types
      Support alternative spelling of behaviour
      Refactor function selection by Dialyzer's codeserver
      Prettify spec
      Small fixes for Dialyzer's testsuites generation