mkexp: changed 'key' option of getexp to be repeatable

CHANGES.txt

@@ -9,6 +9,11 @@ Release Changes
 Release 1.0.4
 =============
 
+Global
+------
+
+* Changed 'key' option of getexp to be repeatable
+
 Configuration
 -------------
 

getexp

@@ -63,8 +63,9 @@ command_line.add_argument('--readme', '-R', action='store_true',
 command_line.add_argument('--verbose', '-v', action='count',
                           help='show all top-level settings, '
                                'or all settings if used twice')
-command_line.add_argument('--key', '-k',
-                          help='print value of given configuration key')
+command_line.add_argument('--key', '-k', action='append',
+                          help='only print value of given configuration key, '
+                               'may be used more than once')
 
 args = command_line.parse_args()
 
@@ -102,7 +103,8 @@ if args.readme:
     print(config['EXP_DESCRIPTION'])
 elif args.key:
     try:
-        print(get_value(config, args.key));
+        for key in args.key:
+            print(get_value(config, key));
     except KeyError as error:
         die("invalid config name '{0}'".format(error.message))
 elif args.verbose >= 2: