Fix bug 6149: Wrong TEEC_VERSION definition

Change-Id: I0df330584e229e0e9400aa204010d07c74f0da3e
Signed-off-by: Fabrice Couteau <fabrice.couteau@st.com>
Reviewed-on: https://gerrit.st.com/8722
Reviewed-by: Pascal BRAND <pascal.brand@st.com>
Reviewed-by: Emmanuel MICHEL <emmanuel.michel@st.com>
Cleanup Makefile

- Add missing rootfs_clean rule
- Remove unused defines
- Rename some rules

This fix #6 (GitHub issue)

Signed-off-by: Pascal Brand <pascal.brand@st.com>
Fix tee-supplicant link error and parallel build error (make -jX).

- Move -lteec at the end of the link line to fix the following undefined
reference:

$ make CROSS_COMPILE=arm-linux-gnueabihf-
...
tee_supplicant.c:(.text+0xdc): undefined reference to `_dprintf'
...

- Add makefile dependency to fix the following:

$ make -j3 CROSS_COMPILE=arm-linux-gnueabihf-
...
cp out/libteec/libteec.so* out/export/lib
cp: cannot stat ‘out/libteec/libteec.so*’: No such file or directory
make: *** [copy_export] Error 1
Add support for arm64

Depends corresponding API change in kernel driver.

* Adds support for arm64
* Changes in the API between kernel driver and also secure world
  to make it 64-bit compatible while not requireing a 64bit secure
  world.
Cleanup loading of a TA

A TA is only loaded via tee-supplicant, directly supplying a
pointer to the TA binary is not supported any longer.
supplicant: simplify linked list implementation

* Simplifies linked list implementation by using queue.h macros
  instead.
* Fixes some theoretical memory leaks