ido: added preferences for testing
Moved custom defuns to 'provide' machinery
Some new auto-mode settings
FGallina Python major-mode (more correct in some aspects)
New defuns (to squash)
Yet another huge reorganization