Doc structure checker

[TimXLHan]

• You ran the local CI checker with ./check.sh with no errors
• You updated the OmniPaxos book (if applicable)

Issues

This PR is about omnipaxos documentation structure management.

Breaking Changes

• Changed the docs file structure to be consistent with website.
• Added doc updating guideline in how-to-contribute
• Added doc structure checker script file in .github/scripts
• Added doc structure check workflow in ci.yml

[haraldng]

Please check if it's possible to do the checks without Javascript. I'll also update the how-to-contribute.md before merging.

[haraldng]

Maybe the error message can also say that the path should start with docs

[TimXLHan]

There is another checker to make sure that the file path is correct (i.e. try to open corresponding file using given path).

function checkFilePath(filePath) {
    try {
        fs.accessSync(filePath, fs.constants.F_OK);
        return true; // File exists
    } catch (error) {
        throw new Error(`File "${filePath}" does not exist`);
    }
}

[TimXLHan]

Finally turned back to js and make it only runs with github action, cause running js on local env need to add node_modules into current repo which is unnecessary.

[haraldng]

Please also try fixing the docs action for the website. I tried to fix it but it still is not completely correct. If we cannot fix it, let's at least make sure it doesn't remove all docs.

[haraldng]

@TimXLHan please fix merge conflicts and this can be merged.

[TimXLHan]

Conflicts resolved.