Add commandline parameter to specify gc3pie config file.

fixes #254