Support for multiple SD cards added in the configurator

Documentation updated.
Documentation updates

- Updated docs about generating CPU constants
- Fixed errors in the configurator documentation
Documentation updates

- deleting references to the old build system
- arch_newport switched to AsciiDoc and updated with the new build system/configurator
- added 'source-highlighter' as a dependency to the doc builder