v1.12.3

Changelog

• Adding endpoint for deleting pipeline file, fixing overriding for uploaded pipeline files.
• Allowing library and object files to be passed as extra files to GCC compilation.
• Modifying role detection algorithm for CAS registration.

Commits

8e643ca Adding endpoint for deleting pipeline supplementary file.
57746fa Make sure that a pipeline file gets replaced when a file of the same name is uploaded.
8f83925 Adding extensions of object files and libraries to GCC file filter.
1af572d Fixing immediate problems with role verification in login. The verification is now preformed in registration only.