Some extra features for convenience (#209)

* Enable setting modprobed-db database path

This enables using different dbs and be able to build the kernel for others,  with modprobed-db

* Save generated .config file back to user's git folder, for eventual re-use

* Set local version for all distros

* install.sh: handle user provided .config files

Update dosctring for the _configfile var in customization.cfg

* install.sh: fix kernel version prompt broken newlines

* Copy final config file as kernelconfig.new

install.sh

@@ -13,7 +13,7 @@ warning() {
 }
 
 plain() {
- echo "$1" >&2
+ echo -e "$1" >&2
 }
 
 _distro_prompt() {
@@ -260,11 +260,6 @@ if [ "$1" = "install" ] || [ "$1" = "config" ]; then
   # cd in linux folder, copy Ubuntu's current config file, update with new params
   cd "$_where"/linux-src-git
 
-  if ( msg2 "Trying /boot/config-* ..." && cp /boot/config-`uname -r` .config ) || ( msg2 "Trying /proc/config.gz ..." && zcat --verbose /proc/config.gz > .config ); then
-    msg2 "Copying current kernel's config and running make oldconfig..."
-  else
-    msg2 "Current kernel config not found! Falling back to default..."
-  fi
   if [ "$_distro" = "Debian" ]; then 
     #Help Debian cert compile problem.
     sed -i -e 's#CONFIG_SYSTEM_TRUSTED_KEYS="debian/certs/test-signing-certs.pem"#CONFIG_SYSTEM_TRUSTED_KEYS=""#g' .config