* New function: User::getBoolOption() that wraps User::getOption, casts its