Improved doc of RotationMatrix
vector constructors can now take other vectors of any type. dynamic sized constructor now working
Merge pull request #14 from ethz-asl/develop

vector constructors can now take other vectors of any type. dynamic sized constructor now working