Updated version to 1.3.0
Check --manifest CLI argument
Merge branch 'release-1.3.0' into devel

Tidying up to merge an unmerged release branch (changes had been
cherry-picked instead)
Removed unwanted files
Merge branch 'devel' into release-1.4.0