Added ability to change resource content
Merge origin/dev into dev
- 'path' is now 'name' for a file entity (caution: update will break currently recorder resources and programs)
- a file now has a version (for frontend update), an extension and a basename (to control resource renaming)
- getresource route now takes version as argument (for image update)
- send back all corresponding data when creating a resource
- changed resource renaming, in order to allow only base-name renaming
- Handle non-png image when setting content from frontend editor
- Now check that new name is not empty when renaming a resource or a program
Merge commit 'a42da588c9cd5f351a4613a4d61667d2f7872961'