Introduced `finite character sheaves'

Now that I've got the notions of finite and bounded character sheaves
nailed down, I'm revisiting the connected algebraic group section.