git ignore some more files
Lots of work, mainly:
- Tab completion now supported in all commands
- Board style & view attributes are now AttributeCollections
- SMS integration: added "go to board" menu