Revert "changed the CC line to accept a compiler that was already set from an
exterior environment If not set the default defined behavior will still
be accepted."

Without setting CC from you shell, when calling make, it was
defaulted to CC=cc instead of picking up $(CROSS_COMPILE)gcc

In order to use an other compiler, one may used one of the following commands
    $ make CC=myprefix-mycompiler
    $ CC=myprefix-mycompiler make -e

Signed-off-by: Pascal Brand <pascal.brand@st.com>
Adding Travis CI to automatically check builds
Align trace levels to the ones of optee_os

Signed-off-by: Pascal Brand <pascal.brand@st.com>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Fixes on trace levels

Signed-off-by: Pascal Brand <pascal.brand@st.com>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Pascal Brand <pascal.brand@linaro.org> (STM platform)
Updated related to new optee linux driver implementation

optee_os b5c0cdcb77a885e5472993ebd2f49db2f2596abe

bugfix TEEC_AllocateSharedMemory
Simplifies linked list implementation by using queue.h macros instead.
Fixes some theoretical memory leaks
Support arm64

Change-Id: Ic6a33daffd721e644dad5fa5c9b89327fa9e00c3
Signed-off-by: Cedric Chaumont <cedric.chaumont@st.com>