Executable size and dropping libraries

[schoeberl]

A Patmos executable is a bit fat. We could use some compiler flags not to link unused functions. For sure we should drop the libraries from the normal make based build.