Rename some Makefile targets. Closes #2274

kernel -> core
test_kernel -> test_stdlib
Merge pull request #2275 from alco/makefile-rename-kernel

Rename some Makefile targets. Closes #2274