GitLab

Doesn't change much to the result but it make the tools
compatible with packagers and is a bit more friendly for
newbies.

configure should check to figure out if arm-none-eabi is
installed. I will do that later.