Change lean frontend specific options. Now, frontend specific options must begin with the frontend name.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Change lean frontend specific options. Now, frontend specific options must begin with the frontend name.