Store ./configure arguments in Makefile.config
Evaluate variable references for all --opt=PATH options

Debian configure does:
./configure --prefix=/usr --libdir='${prefix}/lib'
Dont use cache for mkl_pkg_config_check

Since the cache is currently only used to check status of checks, not
their produced variables, and the pkg-config check produces variables.
Made --enable-profiling work