Added a check for the correct robot.py capitalization.

[benjiboy50fonz]

In response to robotpy/robotpy-installer#110, I propose a solution.

Because os.listdir offers a list of directory contents, and we have a specific file we want to search for, I simply added a check to see if robot.py was in the directory which called the deploy command. If it's not, it assumes incorrect capitalization and fails.

I did it this way as well to prevent programmers from intentionally naming their file "Robot.py", and then encountering issues down the road. Hopefully this cuts them short, and gives them enough clarity that they can modify their codebase to meet this naming standard.

Criticism is very welcome!

[benjiboy50fonz]

I was very behind on my commits it seems; how unfortunate.

[auscompgeek]

I'm pretty sure we already have a check for robot.py that's overridable. We need to improve that check, not break that entirely.

[benjiboy50fonz]

The check is still present.

[auscompgeek]

Sure, but what I'm saying is that this check and that check seem to be completely separate. That breaks the intent of the override, I think.

[virtuald]

@benjiboy50fonz have you actually tested this PR? As @auscompgeek pointed out I don't think this is doing what you intended.

[benjiboy50fonz]

Ok, I understand @auscompgeek . @virtuald, I haven't had access to my RIO yet, but I will soon. I'd set up a VM, but I'm on Windows and WSL is a pain, as well as a VM in a VM.

[virtuald]

It's generally a bad idea to make changes to code without testing those changes.

[virtuald]

... so what's going on with this?

[virtuald]

This is a fine idea, but it needs to actually work if we're going to accept it.