fix(emacs/lean-tags): use the same linja option for tags-gen and flycheck
fix(frontends/lean/inductive_cmd): bugs when declarating inductive datatypes in sections, fixes #141, fixes #142

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>