arduino-core: fixup ELF interperter paths in prebuilt binaries

Fixes #4688
titaniumenv: Make iOS SDK version configurable in example
haskell-idris: update to version 0.9.15
Adding the hsc3-dot haskell package.
Adding hsc3-process haskell package
Add hsc3-db haskell package to tree.
add missing dependency to hmatrix-special
Add haskell package hsc3-lang
adding bitset
Adding hsc3Server package, rename several hsc3-related packages
haskell-hmatrix-special: re-generate with cabal2nix