Online reshader updates
Several modifications have been made lately to the online reshader. To name just a few:
About the algorithm:
- fixed tearings - on some uniform surfaces, small cracks appeared
- added preferential reshading - only harder edges are sharpenened; more noticeable for faces
- fixed sharpening side-effects - less dark patches appear
- updated to a faster implementation
Site user interface related:
- fixed synchronization issues
- other bug fixes
