def options_dict(options):
    """Given a list of key/value pairs with the key separated from the resp.
    value by a colon, return a dict with the pairs in which
       - True is inserted for each key with no value
       - int() is called on all values for which isdigit() holds
    """
    result = {}
    for option in options:
        colon_index = option.index(':') if ':' in option else -1
        if colon_index > -1:
            option = option.strip().split(':')
            if option[1].isdigit():
                option[1] = int(option[1])
            result[option[0]] = option[1]
        else:
            result[option] = True
    return result
