Devel: indent: bring options more in line with current guidelines

It still doesn't give very good results, however. If someone really wants to
use it, they should use git add -p to cherry-pick the worthwhile changes.