full Ada kernel, enhanced SPARK usage, faster and cleaner

[enhancement] EwoK kernel memory partitioning enforcement, CI integra…

…tion

- EwoK kernel memory access is now controlled by the MPU
- EwoK commits and PR are handled by Travis CI

initial public stable release

Initial commit