[frontend] Fixing indentation problems + indentation preferences

[AlexandreDoneux]

Tab indentation is not usable in python because of Python inability to mix spaces and tabs for indentation (see issue #323).

This PR fixes this by giving the user the choice of the type of indentation it desires (2, 3, 4 spaces or 4 space tabs). This applies to the tab key and auto-indent.