Replace Makefiles with Bash scripts#82

ezelioli wants to merge 13 commits intomainpulp-platform/croc:mainfrom

ez/unmakepulp-platform/croc:ez/unmakeCopy head branch name to clipboard