Squashed 'deps/mamba/' changes from 9a9b988..121ca2b

121ca2b Merge branch 'devel' into master
40aa3b5 Version bump to 0.1.2
7dd5db4 Fix header inclusion to comply with automake install scheme
3aae0d0 Keep the directory based organisation for header on install
2f4fc94 Fix bad realloc
314fe62 Remove unused check from configure.
4a98277 Ensure the ';' belongs to the CHECK_STATUS macro statement
ed0faac Silence unused parameters warnings
8dcdab4 Merge branch '44-header-file-structure-and-include-behavior-not-nice-when-used-as-uninstalled-subtree' into 'devel'
b9eeb8a Format errors using the symbol transcriptors
d756d48 Fix missing update of documentation
0d12ae8 Only give common/ as include dir for CPPFLAGS
6f96041 Implement extended arrays for interfaces and spaces
fd9b191 Fix risk of segfault when retrieving interface
8fd18b0 Hide unnecessary configuration variables from README.md
1dc8f39 Remove unused configuration variable MMB_MAX_ALLOCATIONS
1518a6d Remove useless header in examples
d5467bd Merge branch 'devel' into header-file-structure
94fd13e Fix uninitialised variable + bad return value
6d6a0fa Make the env variables names editable at compile time
bef34a6 Merge branch 'harmonize-sets' into devel
1a215d7 Harmonize the set of functions exposed for mmbDimensions and mmbIndex
ac9d3ba Rename memory interface type to provider
5e7c032 Harmonize numbering in parameters naming
d234412 Fix parameters name
3f13c0e Do not nullify value of out parameter
9712b3d Fix missing string.h header in i_mmb_memory.h
f60bc4c Add pkg-config file
ab7fcf7 Unify the usage of headers
fc6de1d Rename file without the prefix

git-subtree-dir: deps/mamba
git-subtree-split: 121ca2bf364cc095550cb89daf427e9c3c11ee0c