AIDA: perform check-builtins very early on (before subdir checks)
AIDA: prevent passing --aida-debug for testfail.idl which breaks the test
AIDA: rename IDL builtin types int32, float64, String, Any
AIDA: renamed Num() data constructor for float64 and int32
UI: minor whitespace fixes
AIDA: support int64 as IDL type
Merge branch 'idl-types'

* idl-types:
  AIDA: support int64 as IDL type
  UI: minor whitespace fixes
  AIDA: renamed Num() data constructor for float64 and int32
  AIDA: rename IDL builtin types int32, float64, String, Any
  AIDA: prevent passing --aida-debug for testfail.idl which breaks the test
  AIDA: perform check-builtins very early on (before subdir checks)