docs/help: rename defconfig/olddefconfig into

After commit 15f57d843296e244487ac0845a73247f9d6749b8, the defconfig target
has been renamed into savedefconfig, and olddefconfig into defconfig. However,
the help text and man page was not updated.

Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
[yann.morin.1998@free.fr: rename CONFIG -> DEFCONFIG]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <0c1dff89c9ee1672693f.1374042343@BEANTN0L019720>
Patchwork-Id: 259601

 # Dummy config file to not use a C library *at all*

 ## depends on BARE_METAL

 ##

 ## help Do not use a C library.

 ## help

 ## help This is usefull if your project is self-contained, does not rely on

 ## help an external C library, and provides all the necessary bits.

 ## help

 ## help Most probably usefull to bootloaders, as they generally don't depend

 ## help on the C library.

 ## help

 ## help If unsure: do *not* choose that, and use another option in the choice.