Spellcheck and lint should be optional and disabled by default

[jaeandersson]

If a user checks out CasADi and wants to do a source build, he is most likely not interested in either the lint or spell targets. Plus they are currently breaking trunk (at least for MVSC).