Migration fix with improved CLI and docs.

- fixed link to release page in version.html
- converted each item in arch-test page to sub-sections
- adding labels to abstract-class for easy reference
- added new page on details of riscof commands
- minor typos and links fixed in coverage page
- fixed description and usage for database generator
- removed newtest addition and testformat pages
- added new inputs page to describe the inputs required for RISCOF
- cleaned up minor typos and link in the installation page. Also added a little more details about the plugins.
- fixed links to testformat spec all over
- cleaned up the "build you plugin" page with more details and clarity.
- updated the test-list page with coverage labels as a node in the dictionary

This is no longer required since we are not hosting the cgf files within riscof anymore. 

includes
- fixing links from gitlab to github
- changed riscof-plugin references to point to respect target device repos
- added a plugins.rst to list all riscof-plugins available for reference to users

This is because we are no longer hosting the tests in the riscof repo

These will no longer be required since we will always be using the arch-test-repo as the tests

doc-updates

Closes #54

See merge request incoresemi/riscof!88

close #54

Fix ISA check typo for 64-bit K extension tests and database.yaml

See merge request incoresemi/riscof!87

Add env arg

See merge request incoresemi/riscof!86